Networked Radar System to Increase Safety of Urban Railroad Crossing
نویسندگان
چکیده
The paper presents an innovative networked radar system for detection of obstacles in a railway level crossing scenario. This Monitoring System (MS) is able to detect moving or still obstacles within the railway level crossing area automatically, avoiding the need of human presence for surveillance. The MS is also connected to the National Railway Information and Signaling System to communicate in real-time the level crossing status. The architecture is compliant with the highest Safety Integrity Level (SIL4) of the CENELEC standard. The number of radar sensors used is configurable at set-up time and depends on how large the level crossing area can be. At least two sensors are expected and up four can be used for larger areas. The whole processing chain that elaborates the output sensor signals, as well as the communication interface, is fully-digital, was designed in VHDL code and implemented onto a Xilinx Virtex 6. Keywords—Radar for safe mobility, railroad crossing, railway, transport safety.
منابع مشابه
Railway Gate Control System at Railroad-Highway Grade Crossing in Korea
Railroad-related accidents are more dangerous than other transportation accidents in terms of severity and death rate etc. Therefore more efforts are necessary for improving safety. In the mean time, Korean national railroad has researched and invested continuously such as intelligent safety equipments and level crossing between railroad and highway for decreasing railroad-related accident and ...
متن کاملSafety Optimization of a Radio-based Railroad Crossing
In this paper we report on the safety analysis of a distributed and decentralized control of a railroad crossing: the radio-based level crossing. In particular we show how mathematical models and minimization techniques may be used to get good quantitative approximations for risk as well as to give advice to the system engineer how to choose free parameters like safety margins etc.
متن کاملApplication of Real-Time DEVS to Analysis of Safety-Critical Embedded Control Systems: Railroad Crossing Control Example
This article presents an application of the Discrete Event System Specification (DEVS) framework to the design and safety analysis of a real-time embedded control system, a railroad crossing control system.The authors employ an extension of the DEVS formalism, real-time DEVS (RT-DEVS), which has a sound semantics for the specification of real-time systems in a hierarchical modular fashion. The ...
متن کاملFormal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)
In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a novel technique to analyze safety of embedded systems with formal methods. It substitutes error-prone informal reasoning by mathematical proofs. DCCA allows to rigorously prove whether a failure on component level is the cause fo...
متن کاملA Solution to the Generalized Railroad Crossing Problem in ESTEREL
We present a solution to the Generalized Railroad Crossing benchmark problem based on the ESTEREL programming language. The solution is shown to satisfy the formal statements of the properties that the system requirements specify by using a verification method for safety properties of ESTEREL programs recently developed. The solution and verification presented have been developed within the syn...
متن کامل